- default logic
- логика умолчания
Англо-русский словарь компьютерных и интернет терминов. 2013.
default logic
Смотреть что такое "default logic" в других словарях:
Default logic — is a non monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts like “by default, something is true”; by contrast, standard logic can only express that something is true or that … Wikipedia
Default — may refer to: Default (law), the failure to do something required by law Default judgment Default (finance), failure to satisfy the terms of a loan obligation or to pay back a loan Default (computer science), a preset setting or value Default… … Wikipedia
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… … Wikipedia
Default Probability — The degree of likelihood that the borrower of a loan or debt will not be able to make the necessary scheduled repayments. Should the borrower be unable to pay, they are then said to be in default of the debt, at which point the lenders of the… … Investment dictionary
Non-monotonic logic — A non monotonic logic is a formal logic whose consequence relation is not monotonic. Most studied formal logics have a monotonic consequence relation, meaning that adding a formula to a theory never produces a reduction of its set of consequences … Wikipedia
Autoepistemic logic — The autoepistemic logic is a formal logic aimed at formalizing representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about… … Wikipedia
Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… … Wikipedia
Defeasible logic — is a non monotonic logic proposed by Donald Nute to formalize defeasible reasoning. In defeasible logic, there are three different types of propositions: strict rules specify that a fact is always a consequence of another; defeasible… … Wikipedia
Late medieval logic — Paul Vincent Spade I Medieval logic encompassed more than what we call logic today. It included semantics, philosophy of language, parts of physics, of philosophy of mind and of epistemology. Late medieval logic began around 1300 and lasted… … History of philosophy
Espresso heuristic logic minimizer — The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.[1] Espresso was developed at IBM by Robert Brayton. Rudell later published the … Wikipedia
